Paro del 9 de mayo: datos para tener en cuenta sobre la medida